Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
301	CURRICULUM VITAE: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Work addresses: University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-12-18 21:05:43 Mathematics Programming language semantics Aarhus University Coimbra Group Functionalist architecture Denotational semantics Computer science Semantics of programming languages Programming language theory Theoretical computer science Logic in computer science Mathematical logic
302	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
303	CURRICULUM VITAE Name: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Nationality: British. Work addresses: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-18 09:50:08 Computer science Denotational semantics Dana Scott Semantics of programming languages Concurrency Programming language theory Gordon Plotkin Aarhus University Logic programming Theoretical computer science Logic in computer science Mathematics
304	The Semantics of Multithreaded Java William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 10:56:06 Computer memory Compiler construction Concurrency Programming language design Memory model Consistency model Java Memory Model Thread Lock Computing Software engineering Concurrency control
305	Chapter 1 Insight, inspiration and collaboration C. B. Jones, A. W. Roscoe Abstract Tony Hoare’s many contributions to computing science are marked Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:55 Procedural programming languages Turing Award laureates Logic in computer science Fellows of the British Computer Society Programming language semantics Tony Hoare ALGOL Hoare logic Turing Award Software engineering Computing Programming language theory
306	Types for Deterministic Concurrency by Tachio Terauchi B.S. (Columbia University[removed]M.S. (University of California, Berkeley[removed]A dissertation submitted in partial satisfaction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-17 01:41:19 Computer science Concurrency George Necula Parallel computing Operational semantics Programming language Applied mathematics Process calculi Theoretical computer science Logic in computer science Programming language semantics
307	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science
308	Scheduling Deterministic Parallel Programs Daniel John Spoonhower CMU-CS[removed]May 18, 2009 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-22 11:36:19 Conceptual model Algorithm Ethology Logic Thought Parallel computing Programming language Semantics
309	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
310	Project Description 1 System design with behavior tables Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:19:23 Models of computation Logic in computer science Programming language semantics Mathematical logic Denotational semantics Formal grammar Actor model Sheaf Table Mathematics Theoretical computer science Applied mathematics

UPDATE